A function on the the set of isomorphism classes in the stable category of maximal Cohen-Macaulay modules over a Gorenstein ring: with applications to Liason theory

摘要

Let $(A,\m)$ be a Gorenstein local ring of dimension $d \geq 1$. Let$\CMS(A)$ be the stable category of maximal \CM \ $A$-modules and let$\ICMS(A)$ denote the set of isomorphism classes in $\CMS(A)$. We define afunction $\xi \colon \ICMS(A) \rt \ZZ$ which behaves well with respect to exacttriangles in $\CMS(A)$. We then apply this to (Gorenstein) liason theory. Weprove that if $\dim A \geq 2$ and $A$ is not regular then the even liasonclasses of $\m^n; n\geq 1$ is an infinite set. We also prove that if $A$ is ancomplete equi-characteristic simple singularity with $A/\m$ uncountable thenfor each $m \geq 1$ the set $\mathcal{C}_m = \{I \mid I \ \text{is a codim 2CM-ideal with} \ e_0(A/I) \leq m \}$ is contained in finitely many even liasonclasses $L_1,\ldots,L_r$ (here $r$ may depend on $m$).